
<h1><font face="Arial">Constraint Analyzer</font></h1>
<p><font face="Arial">This tool checks whether one profile constrains another
(i.e. whether the set of messages defined by one is a subset of the set of
messages defined by the other). </font></p>
<p><font face="Arial">It was originally created as David Kong's undergraduate
thesis at Queen's University, and is now part of HAPI.&nbsp; </font></p>
<table border="0" width="100%">
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/constraintrules.htm">Constraint
      Rules</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Documentation regarding
      the rules that define whether a profile constrains another profile.&nbsp; </font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/domparser.jar">Binaries</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">JAR containing the
      compiled version of the system</font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial">Source</font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Coming soon</font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/javadoc/index.html">JavaDocs</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Browsable API
      documentation</font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/profiles/">Profiles</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Example static profiles
      </font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/uml/">UML</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Several UML diagrams of
      sysem components</font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/presv1.ppt">Presentation</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="arial">Presentation (.ppt) for
      the original project</font> </td>
  </tr>
  <tr>
    <td width="29%" bgcolor="#C0C0C0"><font face="arial"><a href="constraint_analyzer/CISC499_v1.htm">Paper</a></font></td>
    <td width="71%" bgcolor="#EFEFEF"><font face="Arial">Thesis paper for the
      original project</font> </td>
  </tr>
</table>
<p>&nbsp;</p>
